Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This visionary and engaging book provides a mathematical perspective on the fundamental ideas of numbers, space, life, evolution, the brain and the mind. The author suggests how a development of mathematical concepts in the spirit of category theory may lead to unravelling the mystery of the human mind and the design of universal learning algorithms. The book is divided into two parts, the first of which describes the ideas of great mathematicians and scientists, those who saw sparks of light in the dark sea of unknown. The second part, Memorandum Ergo, reflects on how mathematics can contribute to the understanding of the mystery of thought. It argues that the core of the human mind is a structurally elaborated object that needs a creation of a broad mathematical context for its understanding. Readers will discover the main properties of the expected mathematical objects within this context, called ERGO-SYSTEMS, and readers will see how these “systems” may serve as prototypes for design of universal learning computer programs. This is a work of great, poetical insight and is richly illustrated. It is a highly attractive read for all those who welcome a mathematical and scientific way of thinking about the world.

Mathematics. --- Nature. --- Math --- Science --- Logic, Symbolic and mathematical. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematical logic. --- Matemáticas I (49151101) --- Bibliografía recomendada

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book explores certain structures of fuzzy Lie algebras, fuzzy Lie superalgebras and fuzzy n-Lie algebras. In addition, it applies various concepts to Lie algebras and Lie superalgebras, including type-1 fuzzy sets, interval-valued fuzzy sets, intuitionistic fuzzy sets, interval-valued intuitionistic fuzzy sets, vague sets and bipolar fuzzy sets. The book offers a valuable resource for students and researchers in mathematics, especially those interested in fuzzy Lie algebraic structures, as well as for other scientists. Divided into 10 chapters, the book begins with a concise review of fuzzy set theory, Lie algebras and Lie superalgebras. In turn, Chap. 2 discusses several properties of concepts like interval-valued fuzzy Lie ideals, characterizations of Noetherian Lie algebras, quotient Lie algebras via interval-valued fuzzy Lie ideals, and interval-valued fuzzy Lie superalgebras. Chaps. 3 and 4 focus on various concepts of fuzzy Lie algebras, while Chap. 5 presents the concept of fuzzy Lie ideals of a Lie algebra over a fuzzy field. Chapter 6 is devoted to the properties of bipolar fuzzy Lie ideals, bipolar fuzzy Lie subsuperalgebras, bipolar fuzzy bracket product, solvable bipolar fuzzy Lie ideals and nilpotent bipolar fuzzy Lie ideals. Chap. 7 deals with the properties of m-polar fuzzy Lie subalgebras and m-polar fuzzy Lie ideals, while Chap. 8 addresses concepts like soft intersection Lie algebras and fuzzy soft Lie algebras. Chap. 9 deals with rough fuzzy Lie subalgebras and rough fuzzy Lie ideals, and lastly, Chap. 10 investigates certain properties of fuzzy subalgebras and ideals of n-ary Lie algebras.

Algebra. --- Logic, Symbolic and mathematical. --- General Algebraic Systems. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic  Philosophy, Theory of Models and Linguistics.

Mathematics. --- Logic. --- History. --- Mathematical logic. --- Mathematical Logic and Foundations. --- History of Mathematical Sciences. --- Logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Annals --- Auxiliary sciences of history --- Math

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Through its engaging and unusual problems, this book demonstrates methods of reasoning necessary for learning number theory. Every technique is followed by problems (as well as detailed hints and solutions) that apply theorems immediately, so readers can solve a variety of abstract problems in a systematic, creative manner. New solutions often require the ingenious use of earlier mathematical concepts - not the memorization of formulas and facts. Questions also often permit experimental numeric validation or visual interpretation to encourage the combined use of deductive and intuitive thinking. The first chapter of the book covers topics like even and odd numbers, divisibility, prime, perfect, figurate numbers, and introduces congruence. The next chapter works with representations of natural numbers in different bases, as well as the theory of continued fractions, quadratic irrationalities, and also explores different methods of proofs. The third chapter is dedicated to solving unusual factorial and exponential equations, Diophantine equations, introduces Pell’s equations and how they connect algebra and geometry. Chapter 4 reviews Pythagorean triples and their relation to algebraic geometry, representation of a number as the sum of squares or cubes of other numbers, quadratic residuals, and interesting word problems. Appendices provide a historic overview of number theory and its main developments from ancient cultures to the modern day. Drawing from cases collected by an accomplished female mathematician, Methods in Solving Number Theory Problems is designed as a self-study guide or supplementary textbook for a one-semester course in introductory number theory. It can also be used to prepare for mathematical Olympiads. Elementary algebra, arithmetic and some calculus knowledge are the only prerequisites. Number theory gives precise proofs and theorems of an irreproachable rigor and sharpens analytical thinking, which makes this book perfect for anyone looking to build their mathematical confidence.

Mathematics. --- Mathematical logic. --- Number theory. --- Mathematics --- Number Theory. --- Mathematics Education. --- Mathematical Logic and Foundations. --- Number study --- Numbers, Theory of --- Algebra --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Math --- Science --- Study and teaching. --- Logic, Symbolic and mathematical. --- Mathematics—Study and teaching .

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main "mathematical characters" of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein-Podolsky-Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like "Alice knows that everybody knows that she is pretty", explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book.

Quantum logic. --- Algebraic logic --- Mathematical physics --- Quantum theory --- Logic. --- Logic, Symbolic and mathematical. --- Mathematical Logic and Foundations. --- Quantum Computing. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Mathematical logic. --- Quantum computers. --- Computers